Saltpetre dump blamed for Russian explosion

Canadian petrochemical plants blamed for gender imbalance.

Can albuterol be blamed for lactic acidosis?

Albuterol is an uncommonly recognized culprit in causing lactic acidosis. While treating asthmatics, lactic acidosis creates a paradoxical situation in which, despite improvement in bronchospasm, patients look more dyspneic as a compensatory mechanism for metabolic acidosis. This might lead to misinterpretation of the situation with increased albuterol dosing, creating a sort of vicious cycle u...

Eisenstein Orientation: Core Dump

This informal note is meant as a followup to my previous status report [Beh] to my co-conspirators Mike Hopkins and Niko Naumann, with the goal of constructing a generalization of the  and Witten orientations to TAF. The associated Hirzebruch series is supposed to be expressed in terms of Eisenstein series on Shimura varieties. The present note describes an unsuccessful attempt to produce an o...

Well-Typed Programs Can't Be Blamed

We introduce the blame calculus, which adds the notion of blame from Findler and Felleisen’s contracts to a system similar to Siek and Taha’s gradual types and Flanagan’s hybrid types. We characterise where positive and negative blame can arise by decomposing the usual notion of subtype into positive and negative subtyping, and show that these recombine to yield naive subtyping. Naive typing ha...

Medical errors: who is to be blamed?